$\vdash$  FIncr